Rename the gtk-key-bindings property
authorMatthias Clasen <mclasen@redhat.com>
Sat, 21 Nov 2015 01:34:03 +0000 (20:34 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 21 Nov 2015 01:35:39 +0000 (20:35 -0500)
commitd267b8e028003134c4f7c19545b01a9fefbd2d08
treefb3cbeac68d2b1d98c944351b5650d27fe9f1b2d
parentba1fb4b0a796b85c8841ac20e899676aa4d6d81c
Rename the gtk-key-bindings property

This is not a standard CSS property, so rename it to
-gtk-key-bindings. We still support the old name, with a
deprecation warning.
gtk/gtkbindings.c
gtk/gtkcssstylepropertyimpl.c